class C {
public:
    virtual void do_thing(char);
    virtual void do_thing(int);
};
